Marieke Huisman: البحث على موقع Z-Library

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات

حرية الوصول إلى المعرفة والثقافة.

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024

Z-Library واحدة من أكبر المكتبات الإلكترونية في العالم والتي تحتوي علي أكثر من 17,000,000 كتاب و 84,837,000 مقالة. هدفنا جعل الأدب متاح للجميع. اليوم ((15 سبتمبر 2024 نبدأ بجمع أموال وتبرعات إضافية لدعم و تطوير المشروع.

تتوفر أيضًا تنزيلات غير محدودة (في غضون 31 يومًا بعد يوم التبرع) لجميع المستخدمين الذين سيدعمون المشروع ويتبرعون خلال فترة جمع التبرعات حتى 1 أكتوبر 2024.

حول جمع التبرعاتالمزيد من التفاصيل

قدم تبرع لدعم المشروع

1

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

عام:

2018

اللغة:

english

ملف:

PDF, 18.68 MB

0 / 0

english, 2018

2

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer International Publishing

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

عام:

2019

اللغة:

english

ملف:

PDF, 9.90 MB

0 / 0

english, 2019

3

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

عام:

2018

اللغة:

english

ملف:

PDF, 18.46 MB

0 / 0

english, 2018

4

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 4.02 MB

0 / 0

english, 2005

5

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Saint Philip Street Press

Marieke Huisman & Dirk Beyer [Huisman, Marieke & Beyer, Dirk]

عام:

2020

اللغة:

english

ملف:

EPUB, 6.00 MB

0 / 0

english, 2020

6

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 3.26 MB

0 / 0

english, 2000

7

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman & António Ravara & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

عام:

2023

اللغة:

english

ملف:

PDF, 6.81 MB

0 / 5.0

english, 2023

8

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 4.23 MB

0 / 0

english, 2005

9

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)

عام:

2006

اللغة:

english

ملف:

PDF, 1.73 MB

0 / 0

english, 2006

10

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 4.34 MB

0 / 0

english, 2000

11

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman

عام:

2018

اللغة:

english

ملف:

PDF, 20.54 MB

0 / 0

english, 2018

12

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

عام:

2019

اللغة:

english

ملف:

PDF, 9.84 MB

0 / 0

english, 2019

13

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman, Anton Wijs

عام:

2023

اللغة:

english

ملف:

PDF, 8.66 MB

0 / 5.0

english, 2023

14

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Marieke Huisman, Anton Wijs

عام:

2023

اللغة:

english

ملف:

PDF, 8.66 MB

0 / 0

english, 2023

15

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Springer-Verlag Berlin Heidelberg

Marieke Huisman, Julia Rubin (eds.)

عام:

2017

اللغة:

english

ملف:

PDF, 22.79 MB

0 / 0

english, 2017

16

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

عام:

2021

اللغة:

english

ملف:

PDF, 32.66 MB

0 / 0

english, 2021

17

Concise Guide to Software Verification : From Model Checking to Annotation Checking

Concise Guide to Software Verification : From Model Checking to Annotation Checking

Springer International Publishing

Marieke Huisman, Anton Wijs

عام:

2023

اللغة:

english

ملف:

EPUB, 39.48 MB

0 / 5.0

english, 2023

18

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Jan Friso Groote, Marieke Huisman

عام:

2022

اللغة:

english

ملف:

PDF, 13.09 MB

0 / 5.0

english, 2022

19

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

عام:

2021

اللغة:

english

ملف:

EPUB, 76.24 MB

0 / 0

english, 2021

20

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Marieke Huisman, Anton Wijs

عام:

2023

اللغة:

english

ملف:

RAR, 50.11 MB

0 / 4.5

english, 2023

21

Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France

Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France

Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet (auth.), Jean-Jacques Quisquater, Pierre Paradinas, Yves Deswarte, Anas Abou El Kalam (eds.)

عام:

2004

اللغة:

english

ملف:

PDF, 12.56 MB

0 / 0

english, 2004

22

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Springer International Publishing

Erika Ábrahám, Marieke Huisman (eds.)

عام:

2016

اللغة:

english

ملف:

PDF, 24.74 MB

0 / 0

english, 2016

23

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)

عام:

2006

اللغة:

english

ملف:

PDF, 2.20 MB

0 / 0

english, 2006

24

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

عام:

2021

اللغة:

english

ملف:

PDF, 32.66 MB

0 / 0

english, 2021

25

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

عام:

2021

اللغة:

english

ملف:

EPUB, 76.24 MB

0 / 0

english, 2021